boolean connective造句

This article mainly illustrates a system of ternary propositional logic using the truth values { false, unknown, true }, and extends conventional Boolean connectives to a trivalent context.
It can be shown using such identities that a subset of the CTL temporal connectives is adequate if it contains EU, at least one of \ { AX, EX \ } and at least one of \ { EG, AF, AU \ } and the boolean connectives.
It's difficult to find boolean connective in a sentence. 用boolean connective造句挺难的